Concurrent Goal-Based Execution of Constraint Handling Rules

摘要

(To appear in Theory and Practice of Logic Programming (TPLP)) We introduce asystematic, concurrent execution scheme for Constraint Handling Rules (CHR)based on a previously proposed sequential goal-based CHR semantics. Weestablish strong correspondence results to the abstract CHR semantics, thusguaranteeing that any answer in the concurrent, goal-based CHR semantics isreproducible in the abstract CHR semantics. Our work provides the foundation toobtain efficient, parallel CHR execution schemes.